The cohesive principle and the Bolzano-Weierstraß principle
نویسندگان
چکیده
منابع مشابه
On the computational content of the Bolzano-Weierstraß Principle
Wewill apply themethods developed in the field of ‘proofmining’ to the BolzanoWeierstraß theorem BW and calibrate the computational contribution of using this theorem in proofs of combinatorial statements. We provide an explicit solution of the Gödel functional interpretation (combined with negative translation) as well as the monotone functional interpretation of BW for the product space ∏i∈N[...
متن کاملLimited Omniscience and the Bolzano-weierstrass Principle
The constructive study of metric spaces requires at first an examination of each classical proposition for numerical content. In classical mathematics it is a theorem that sequences in a compact space have convergent subsequences, but this is not constructively true. For compact intervals on the real line it has long been known that this theorem is nonconstructive because it implies the Limited...
متن کاملThe Inclusion-Exclusion Principle for IF-States
Applying two definitions of the union of IF-events, P. Grzegorzewski gave two generalizations of the inclusion-exclusion principle for IF-events.In this paper we prove an inclusion-exclusion principle for IF-states based on a method which can also be used to prove Grzegorzewski's inclusion-exclusion principle for probabilities on IF-events.Finally, we give some applications of this principle by...
متن کاملa being of the simplest essence’ ‘ The principle of
The principle of ‘a being of the simplest essence’, basitulhaqiqah, is one of the most important one in transcendent philosophy upon which has been based the solution of many complicated and difficult problems. Now a question appears as: can the principle form a proof for the simplicity of the Necessary? In the paper, the principle has been analyzed and its background presented. Then it has ...
متن کاملThe Equivalence Principle, the Covariance Principle
The equivalence principle, which states the local equivalence between acceleration and gravity, requires that a free falling observer must result in a co-moving local Minkowski space. On the other hand, covariance principle assumes any Gaussian system to be valid as a space-time coordinate system. Given the mathematical existence of the co-moving local Minkowski space along a time-like geodesic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2011
ISSN: 0942-5616
DOI: 10.1002/malq.201010008